241. The concepts of value; foundations of value theory.
پدیدآورنده : Karl Aschenbrenner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Begriff,Valeur (Philosophie),Values.
رده :
BD232
.
K375
1971
242. The evolution of human language
پدیدآورنده : ]edited by[ Richard K. Larson, Viviane Deprez, Hiroko Yamakido
کتابخانه: Library and Documentation Center of Institute of Culture, Arts and Communication (Tehran)
موضوع : Language and languages- Origin,Linguistic change,Biolinguistics,Neurolinguistics,Anthropological linguistics
رده :
P
.
E86
116
2010
243. The language of machines :
پدیدآورنده : Robert W. Floyd, Richard Beigel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
رده :
QA267
.
3
.
F56
1994
244. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
245. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
246. The recursion method: application to many-body dynamics
پدیدآورنده : Viswanath, V. S.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Many-body problem,، Recursion theory,، Numerical analysis
رده :
QC
174
.
17
.
P7
V58
1994
247. The role of true finiteness in the admissible recursively enumerable degrees
پدیدآورنده : Greenberg, Noam, 4791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Recursively enumerable sets,، Finite, The
رده :
QA
3
.
A475
no
.
854
248. The symbolic computation of integrability structures for partial differential equations /
پدیدآورنده : Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
249. Theoretical computer science :
پدیدآورنده : edited by Peter Deussen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.
250. Theoretical computer science.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA267
.
T446
1979
251. Theory of computation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
252. Theory of computation : with 75 illustrations
پدیدآورنده : Kozen, Dexter
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,Mathematics ، Computer science,، Recursion theory
رده :
QA
267
.
7
.
K69
2006
253. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
254. Thinking recursively
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Recursion theory. ;
255. Wave Propagation
پدیدآورنده : by Richard Bellman, Ramabhadra Vasudevan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Global analysis (Mathematics).,Mathematics.
256. Web applications with Elm :
پدیدآورنده : Wolfgang Loder.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Elm (Computer program language), Handbooks, manuals, etc.,Internet programming, Handbooks, manuals, etc.,Computer programming-- software development.,COMPUTERS-- General.,Internet programming.,Programming & scripting languages: general.,Web programming.
رده :
QA76
.
625
257. Wireless communications over rapidly time-varying channels /
پدیدآورنده : edited by Franz Hlawatsch, Gerald Matz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Time-series analysis,Wireless communication systems
رده :
TK5103
.
2
.
W567
2011
258. Worlds unbound: Cybernetics and the arabesque
پدیدآورنده : Haitham Ibrahim
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Comparative literature; Middle Eastern literature; American literature; Aesthetics; Feedback; Recursion; Narratives; Arabic language; Ontology; Novels; Colonialism; Cybernetics,Language, literature and linguistics;Philosophy, religion and theology;Cybernetics;Herbert, frank;Media studies;Pynchon, thomas;Systems theory;U.s. and arab mideast
259. Worlds unbound: Cybernetics and the arabesque
پدیدآورنده : Haitham Ibrahim
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Comparative literature; Middle Eastern literature; American literature; Aesthetics; Feedback; Recursion; Narratives; Arabic language; Ontology; Novels; Colonialism; Cybernetics,Language, literature and linguistics;Philosophy, religion and theology;Cybernetics;Herbert, frank;Media studies;Pynchon, thomas;Systems theory;U.s. and arab mideast
